COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet[let,jmc]
C00004 ENDMK
C⊗;
\input jmclet[let,jmc]
\jmclet
\address
Dr. K. C. Tai
Program Director, Software Engineering
National Science Foundation
Washington, D.C.  20550
\body
Dear Dr. Tai:

Please find enclosed a copy of a proposal {\it Specifying and Deriving
Open Concurrent Systems}, submitted in response to the Joint Initiative with
DARPA/ISTO on {\it Formal Methods in Software Engineering}.

The proposal is being submitted by myself and Professor Gul Ahga at Stanford.
As Professor Agha previously discussed with you, in order to avoid dual
overhead charges and other potential bureaucratic complications, we are
submitting two essentially identical proposals separately.  The submissions
differ only in the final three sections: Budget pages, Current and Pending
Support, and Available Facilities Statement.  For purposes of review and 
evaluation, please note that these two submissions should be considered
jointly as a single proposal.

Thank you very much for your attention in this matter.  If there are
questions please contact Dr. Carolyn Talcott at Stanford (415-723-0936,
clt@sail.stanford.edu).

\closing
Sincerely,
John McCarthy
\endletter
\end